基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

以对象Petri网为基础的C3I仿真系统的设计和实现

Petri网是描述具有分布、并发、异步特征的系统的有效工具.提出了对象Petri网(OPN)的概念,并对基于OPN的C3I仿真系统结构、设计及实现,作了较为详细的探讨.     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

基于 Petri 网的决策组织结构设计

决策组织设计的首要问题是如何获得可行的组织结构。决策组织作为典型的分布式智能系统,利用Ｐｅｔｒｉ网生成其可行的组织结构是极广泛采用的方法,并已取得很多成果。该文是对这一领域的过去、现在和未来的综述。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

基于定时Petri网的舰艇保障能力仿真与评估

舰艇保障是一种主要依赖后勤技术装备的专业化后勤,也是涉及并行、冲突,并受资源、装配时间等限制的复杂离散事件过程。借助定时Petri网强大的描述能力标记过程中的各种动态行为,在此基础上对包括后勤装备在内的后勤实体、保障任务、保障活动等进行建模,采用编码、转换等手段实现舰艇保障过程仿真,并使用仿真结果对后勤保障能力进行"定量计算"为主的分析评估。     

地空导弹C3I决策系统的Petri网建模与性能分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了较为完善的决策系统的Petri网模型.并引入了决策时延这一反应指挥决策系统能力的重要性指标.这些问题的解决对提高C3I决策系统的实时性和准确性具有十分重要的意义.     

HPN基于网结构的冲突关系

混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义     

C3I 系统时延的 PETRI网络分析

根据Petri网络结构分析C~3I系统的时延性能,并用计算机软件实现,给出了典型系统的实验结果。     

炮兵群自动化指挥系统决策组织结构的 Petri 网建模与性能分析

对炮兵自动化指挥系统中决策组织的结构和能力进行了研究,建立了较为完善的各级指挥员指挥决策体系的Ｐｅｔｒｉ网模型。通过有色Ｐｅｔｒｉ网对群一级的炮兵自动化指挥系统在不同任务环境下的不同工作方式进行了建模表示和分析,引入了决策时延这一反应指挥决策体系能力的重要性能指标,并进一步运用马尔科夫链的分析方法对建立的指挥决策体系的Ｐｅｔｒｉ网模型进行定量分析,得出了量化结果,为自动化指挥系统中决策组织结构的设计和分析提供了理论根据。